On reduction of asynchronous systems

the effect of consciousness raising (c-r) on the reduction of translational errors: a case study

در دوره های آموزش ترجمه استادان بیشتر سعی دارند دانشجویان را با انواع متون آشنا سازند، درحالی که کمتر به خطاهای مکرر آنان در متن ترجمه شده می پردازند. اهمیت تحقیق حاضر مبنی بر ارتکاب مکرر خطاهای ترجمانی حتی بعد از گذراندن دوره های تخصصی ترجمه از سوی دانشجویان است. هدف از آن تاکید بر خطاهای رایج میان دانشجویان مترجمی و کاهش این خطاها با افزایش آگاهی و هوشیاری دانشجویان از بروز آنها است.از آنجا ک...

Asynchronous Systems on Programmable Logic

This paper describes a general methodology to prototype asynchronous systems onto LUT based FPGAs. The main objective is to offer to the system designers the powerfulness of standard synchronous FPGAs to prototype their asynchronous circuits or mixed synchronous/asynchronous circuits. To avoid hazard in FPGAs, the appearance of hazard in configurable logic cells is analyzed and a technique base...

On Distributed Monitoring of Asynchronous Systems

Distributed systems are notoriously difficult to understand and analyze in order to assert their correction w.r.t. given properties. They often exhibit a huge number of different behaviors, as soon as the active entities (peers, agents, processes, etc) behave in an asynchronous manner. Already the modelization of such systems is a non-trivial task, let alone their formal verification. The purpo...

On the Decomposition of Asynchronous Systems

Local and asynchronous beta - reduction (

We build a connuent, local, asynchronous reduction on-terms, using innnite objects (partial injections of Girard's algebra L*), which is simple (only one move), intelligible (semantic setting of the reduction), general (based on a large-scale decomposition of), and may be mechanized.